安全Petri网位置不变式的一种生成算法

Petri网是一种系统设计和分析的有用工具,在系统测试中有着广泛的应用.利用安全Petri网的特点,提出一种由安全Petri网可达树和带自环的m阶完全图来计算位置不变式的生成算法.     

提高农产品质量安全水平的重要性

着重从促进农业增效和农民增收两方面,阐述了提高农产品质量安全水平的必然性和重要性。     

限额赔偿财产险损失分布问题研究及实证分析

通过经验分布函数、剩余期望函数和最小距离估计,结合实际例子和计算机软件技术,分析在限额赔偿方式下财产险的损失分布问题,为研究在缺失部分数据的情况下如何确定损失分布模型提供了技术支持.     

心电成分的多核尺度卷积神经网络分类算法研究

网络空间财产犯罪的占有转移认定疑难问题凸显了双层社会中传统刑法理论与新型网络财产犯罪之间的适用冲突。认为网络空间财产犯罪中存在网络平台“错误认识”的观点不符合诈骗罪本身的逻辑构造，提供代码验证服务的网络平台不参与用户之间的占有转移。网络空间财产犯罪的占有转移实质上是财产性利益的占有转移，应当以“与原占有人人身相分离”的可转移性和“对于被害人具有财产法益”的财产性为标准划定占有转移成立的边界，且不得以数额不明确为由缩小其成立范围。在具体认定过程中，要采取“账户权限或记录的不可逆转变”的认定标准，区分网络空间财产犯罪的占有转移与占有的迟缓。     

资金约束制造商的最优融资与质量决策

考虑市场需求受产品价格和质量水平的双重影响情形下,研究了资金约束制造商和资金充足零售商组成的供应链的融资与运营决策, 其中制造商可通过零售商的提前支付、银行融资或由股权融资和银行融资组合的混合融资来解决资金约束问题。通过构建3种融资方式下的Stackelberg 博弈模型, 研究了制造商与零售商的最优定价及质量决策, 对比了制造商和零售商在3种融资模式下的利润, 并借助算例分析了质量投入成本系数、单位产品成本系数、提前支付比例及股权融资比例对资金约束供应链均衡决策的影响。结果表明: 当制造商初始资金水平处在一定范围且提前支付比例小于某一阈值时, 零售商提前支付模式下制造商提供的产品的质量水平将更高; 相较于银行融资, 尽管混合融资下产品的质量水平和订购量更高, 但供应链整体利润却较银行融资时低。     

移动机器人路径规划安全A*算法

针对移动机器人路径规划时安全性不高的问题,提出一种路径规划安全A^*算法.首先,通过扩展搜索邻域,减小路径转角角度,避免不必要的折角;然后,在启发式函数中引入新的评价指标,增加移动机器人与障碍物的距离.最后,提出安全性指数S,对路径安全性进行量化.通过MATLAB软件进行仿真对比,仿真结果表明:文中算法的路径质量和安全性更佳.     

网络支付行业商业模式研究——基于EPSR@PM分析框架

本文提出EPSR@PM分析框架,基于外部环境、目标定位、关键资源能力、利益相关者、盈利模式5类要素,对网络支付行业的基本运行模式和机理进行系统性分析。运用这一分析框架,我们深入剖析市场主体与相关主体之间的动态博弈关系,以及所选取的经营战略及商业模式,进而对行业未来发展趋势做出展望。     

锂离子动力电池传感器多故障诊断策略综述

锂离子电池作为新一代可充电电源，具有能量密度大、安全性能高等优点，显示出了广阔的市场前景。但锂离子电池在运行过程中会发生各种内、外部故障，所以锂离子电池安全问题一直备受关注。锂离子电池里的传感器正常运行是保证对电池系统实时监测的关键，但是传感器故障微小且不易察觉，并且故障具有关联性、并发性的特征，可能引起多故障的发生，进而触发热失控的风险。所以如何保证传感器精确、快速的进行锂离子电池故障检测与诊断是确保安全稳定运行的关键。本文首先从锂离子电池结构出发总结了锂离子故障的类型及成因，并详细分析了传感器故障和多故障产生的机理。然后，对锂离子电池从单体电池到电池包所涉及的传感器故障和多故障诊断策略进行全面的阐述，并且分析了可能成为未来发展趋势的传感器多故障协同诊断策略和电池新模式下的故障诊断方式（如气体检测等）。最后，以全文锂离子电池的传感器多故障研究的重难点，提出了传感器多故障诊断未来可能的研究方向。     

军官薪酬福利制度国际对比及对我国军官职业化改革的启示

军官职业化是市场经济和新军事革命双重背景下我军建设发展的基本方向,建立与之相适应的薪酬福利制度具有重要理论和实践意义。本文分别从军官工资福利和退役保障制度两个维度系统地梳理了美、英、俄3个国家的共同特征,就军官对军官职业化改革的关注程度等基本问题访谈调查了部分基层单位,并基于此从薪酬福利结构、退役军官再就业和安置等方面提出建立和完善我国军官职业化薪酬福利制度的建议。